John Meyer - PDFSEARCH.IO - Document Search Engine

John Meyer
Results: 98

#	Item
21	Dynamic Logic for Plan Revision in Intelligent Agents M. Birna van Riemsdijk Frank S. de Boer John-Jules Ch. Meyer Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2005-04-26 08:07:47 Logic in computer science Programming language semantics Model theory Structure Universal algebra Operational semantics 3APL Ω-consistent theory Algorithm characterizations Theoretical computer science Mathematical logic Mathematics
22	A Modal Representation of Strategic Reasoning Jan Broersen Rosja Mastop John-Jules Meyer Paolo Turrini Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2009-07-01 07:47:18 Mathematical logic Functions and mappings Interpretation Philosophy of language Philosophy of mind Semantics Function Uniform space Pareto efficiency Mathematics Logic Model theory
23	Jonny Schoenjahn 102 Bull. B.O.C) Add to Reading List Source URL: www.jonnybird-australia.com Language: English - Date: 2012-01-11 01:44:24 John Gould Handbook to the Birds of Australia Grey Falcon Rodolphe Meyer de Schauensee Elizabeth Gould The Birds of Australia Bird collections Zoology Ornithology Birds of Western Australia Falco
24	A Structure-guided Approach to Capturing Bayesian Reasoning about Legal Evidence in Argumentation Sjoerd T. Timmer John-Jules Ch. Meyer Henry Prakken Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2015-02-23 06:13:32 Bayesian statistics Statistical models Reasoning Arguments Graphical models Bayesian network Probabilistic logic Argumentation theory Defeasible reasoning Science Logic Knowledge
25	Semantics of Plan Revision in Intelligent Agents M. Birna van Riemsdijk John-Jules Ch. Meyer Frank S. de Boer Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2004-01-23 02:56:37 Computer science Models of computation Programming language semantics Denotational semantics Operational semantics State transition system Programming language Semantics Meta-programs Theoretical computer science Logic in computer science Applied mathematics
26	A language for Modular Information-passing Agents Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek and John-Jules Ch. Meyer Universiteit Utrecht, Department of Computer Science P.O. Box, 3508 TB Utrecht, T Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1998-12-14 07:36:40 Constraint programming Declarative programming Symbol
27	Short CV of John-Jules Meyer de dato August 24, 2014 J.-J. Ch. Meyer, bornin The Hague, The Netherlands Education: 1973: Gymnasium , Aloysiuscollege, The Hague Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2014-08-26 03:43:19 Dov Gabbay Logicians Non-classical logic
28	Emotions as Heuristics for Rational Agents Bas R. Steunebrink Mehdi Dastani John-Jules Ch. Meyer Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2007-02-15 07:33:23 Determinacy Large cardinals Affect Feeling
29	Pre-proceedings of the KR2008-workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS), Sydney, September 2008 Edited by John-Jules Ch. Meyer and Jan Broersen August 11, 2008 Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2008-08-11 05:22:29 Philosophical logic Metalogic Branches of philosophy Epistemic modal logic Non-monotonic logic Model theory Epistemology Logic programming Entailment Logic Non-classical logic Modal logic
30	A Formal Embedding of AgentSpeak(L) in 3APL Koen Hindriks, Frank S. de Boer, Wiebe van der Hoek and John-Jules Ch. Meyer University Utrecht, Department of Computer Science P.O. Box, 3508 TB Utrecht, The Netherland Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1998-12-14 07:37:21 Applied mathematics AgentSpeak Operational semantics Bisimulation Programming language Agent-based model State transition system 3APL Logic programming Multi-agent systems Computing Theoretical computer science